未解決問題を解くGPT-5.2 Pro

@neelsomani: Weekend win: The proof I submitted for Erdos Problem ＃397 was accepted by Terence Tao.

The proof was generated by GPT 5.2 Pro and formalized with Harmonic.

Many open problems are sitting there, waiting for someone to prompt ChatGPT to solve them:

https://pbs.twimg.com/media/G-W4CV7asAQzf3r.jpg